1. Comprehensive Functional Verification the Complete Industry Cycle
پدیدآورنده : \ Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستیآزمایی ,مهندسی کامپیوتر
رده :
E-Book
,
2. Comprehensive Functional verification the complete industry cycle
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Integrated circuits -- Verification,Computer engineering
رده :
TK
،
7874
.
58
،.
W55
،
2005
3. Comprehensive functional verification the complete industry cycle
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Computer engineering. ;
4. Comprehensive functional verification the complete industry cycle /
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
5. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Steven D. Johnson )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1954
6. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B.,Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7